Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences
نویسندگان
چکیده
منابع مشابه
Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences
Fix an integer h ≥ 1. In the universe of coloured trees of height at most h, we prove that for any MSO formula with r variables there exists a set of kernels, each of size bounded by an elementary function of r and the number of colours. This yields two noteworthy consequences. Consider any graph class G having a simple MSO interpretation in the universe of coloured trees of height h (equivalen...
متن کاملFaster Deciding MSO Properties of Trees of Fixed Height, and Some Consequences
We prove, in the universe of trees of bounded height, that for any MSO formula with m variables there exists a set of kernels such that the size of each of these kernels can be bounded by an elementary function of m. This yields a faster MSO model checking algorithm for trees of bounded height than the one for general trees. From that we obtain, by means of interpretation, corresponding results...
متن کاملsome properties of fuzzy hilbert spaces and norm of operators
in this thesis, at first we investigate the bounded inverse theorem on fuzzy normed linear spaces and study the set of all compact operators on these spaces. then we introduce the notions of fuzzy boundedness and investigate a new norm operators and the relationship between continuity and boundedness. and, we show that the space of all fuzzy bounded operators is complete. finally, we define...
15 صفحه اولdetermination of some physical and mechanical properties red bean
چکیده: در این تحقیق، برخی خواص فیزیکی و مکانیکی لوبیا قرمز به-صورت تابعی از محتوی رطوبت بررسی شد. نتایج نشان داد که رطوبت بر خواص فیزیکی لوبیا قرمز شامل طول، عرض، ضخامت، قطر متوسط هندسی، قطر متوسط حسابی، سطح تصویر شده، حجم، چگالی توده، تخلخل، وزن هزار دانه و زاویه ی استقرار استاتیکی در سطح احتمال 1 درصد اثر معنی داری دارد. به طوری که با افزایش رطوبت از 54/7 به 12 درصد بر پایه خشک طول، عرض، ضخام...
15 صفحه اولextraction and acetylation of purified trypsin from bovin pancreas and study of some its physico-chemical properties
آنزیم تریپسین در شرایط قلیایی ناپایدار می باشد .و فعالیت پروتئولیتیکی تریپسین منجربه خود هضمی آن در جایگاههای خاصی می گردد. بنابر این آنزیمی با ناپایداری بالا محسوب میگردد. در سالهای اخیر موفق شدند که با ایجاد تغیرات شیمیایی با اضافه کردن فلزات خاص ، کلسیم و یا عمل استیلاسیون منجر به افزایش پایداری آنزیم تریپسین گردند. مطالعات در حال حاضر نشان می دهد که تریپسین استیله شده فعالیت آنزیمی خود را ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2015
ISSN: 1860-5974
DOI: 10.2168/lmcs-11(1:19)2015